, 取充分小的 , 使得

则有

证毕.